Смотреть больше слов в «Англо-українському словнику технічних термінів»
цепочка вывода. Последовательность правил и фактов, использованных системой логического вывода для достижения некоторого заключения.
Ланцюг (послідовність) висновку
ланцюжок висновку